Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
521	Alfred North Whitehead, Pragmaticism1 and Semiotics Patrick John Coppock Add to Reading List Source URL: coppock-violi.com Language: English - Date: 2008-07-02 04:52:31 Philosophy of science Semiotics Philosophers of education Philosophical logic Synechism Charles Sanders Peirce bibliography Potentiality and actuality Substantial form Semeiotic Philosophy Charles Sanders Peirce Science
522	Dolby Surround 7 1 Registration Form Add to Reading List Source URL: www.dolby.com Language: English - Date: 2011-04-06 20:49:17 Electronics Dolby Laboratories Dolby Surround Dolby noise-reduction system 7.1 surround sound Dolby Pro Logic Dolby Digital Surround sound Sound Waves
523	proc.dvi Add to Reading List Source URL: igitur-archive.library.uu.nl Language: English - Date: 2008-04-02 14:07:20 Logic Function Skolem normal form Thoralf Skolem Axiom of choice Mathematics Mathematical logic Model theory
524	PDF Document Add to Reading List Source URL: configit.com Language: English - Date: 2013-07-18 08:44:52 Logic Propositional calculus Semantics Algebraic logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Boolean algebra Mathematics Mathematical logic
525	PDF Document Add to Reading List Source URL: agi-conf.org Language: English - Date: 2009-05-19 04:45:33 Type theory Computability theory Functions and mappings Recursion Lambda calculus Administrative normal form Type system Function Primitive recursive function Mathematics Mathematical logic Software engineering
526	PDF Document Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 2010-05-28 11:06:43 Constraint programming Automated theorem proving Logic in computer science Boolean algebra NP-complete problems Boolean satisfiability problem DPLL algorithm Davis–Putnam algorithm Conjunctive normal form Theoretical computer science Mathematics Applied mathematics
527	PDF Document Add to Reading List Source URL: www.numbertheory.org Language: English - Date: 2002-02-05 00:07:06 Matrix theory Matrices Canonical form Logic Rank Matrix Determinant Frobenius normal form Theorems and definitions in linear algebra Algebra Mathematics Linear algebra
528	PDF Document Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2005-10-13 03:33:53 Mathematics Algebraic logic Boolean algebra Logic in computer science Canonical form Combinational logic XOR gate Digital electronics Negated AND gate Theoretical computer science Logic gates Mathematical logic
529	PDF Document Add to Reading List Source URL: www.jair.org Language: English - Date: 2006-02-07 22:52:29 Model theory Artificial intelligence Knowledge compilation Boolean algebra Model checking Binary decision diagram Interpretation Conjunctive normal form Structure Mathematics Mathematical logic Logic
530	PDF Document Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2011-05-03 19:03:19 Formal languages Logical syntax Propositional calculus Prenex normal form Interpretation First-order logic Entailment Well-formed formula Substitution Logic Metalogic Model theory

UPDATE